
structure Permutation = VectorPermutation
